Imaginaries in algebraically closed valued fields

نویسندگان

  • David Lippel
  • Dugald Macpherson
چکیده

These notes are intended to accompany the tutorial series ‘Model theory of algebraically closed valued fields’ in the Workshop ‘An introduction to recent applications of model theory’, Cambridge March 29–April 8, 2005. They do not contain any new results, except for a slightly new method of exposition, due to Lippel, of parts of the proof of elimination of imaginaries, in Sections 8 and 9. They form an exposition of [4], and, much more briefly, [5]. These papers are also surveyed in [6]. The plan of the tutorial series is as follows: the first lecture and a half will be devoted to background on algebraically closed valued fields, the meaning of ‘elimination of imaginaries’, with examples, and description of the sorts in which algebraically closed valued fields eliminate imaginaries. The next two and a half lectures will be devoted to (parts of) the proof of this theorem. The final session will be on stable domination and orthogonality to the value group.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

On the proof of elimination of imaginaries in algebraically closed valued fields

ACVF is the theory of non-trivially valued algebraically closed valued f ields. This theory is the model companion of the theory of valued fields. ACVF does not have elimination of imaginaries in the home sort (the valued field sort). Nevertheless, Haskell, Hrushovski, and Macpherson in [2] were able to find a collection of “geometric sorts” in which elimination of imaginaries holds. Let K be a...

متن کامل

Definable sets in algebraically closed valued fields: elimination of imaginaries

It is shown that if K is an algebraically closed valued field with valuation ring R, then Th(K) has elimination of imaginaries if sorts are added whose elements are certain cosets in K of certain definable R-submodules of K (for all n ≥ 1). The proof involves the development of a theory of independence for unary types, which play the role of 1-types, followed by an analysis of germs of definabl...

متن کامل

Deenable Sets in Algebraically Closed Valued Elds. Part I: Elimination of Imaginaries

It is shown that if K is an algebraically closed valued eld with valuation ring R, then Th(K) has elimination of imaginaries if sorts are added whose elements are certain cosets in K n of certain deenable R-submodules of K n (for all n 1). The proof involves the development of a theory of independence for unary types, which play the role of 1-types, followed by an analysis of germs of deenable ...

متن کامل

Imaginaries in Real Closed Valued Fields I

We investigate the embeddings of the value group and residue field of a real closed valued field A in Aeq via quantifier elimination in a three sorted language. We classify the one types of field elements in a real closed valued field. Finally, we investigate some of the linear structure in Aeq induced by the valuation ring V and introduce the geometric sorts. In a subsequent paper we show that...

متن کامل

Imaginaries in Real Closed Valued Fields II

The paper shows elimination of imaginaries for real closed valued fields to the geometric sorts which were introduced in the [6]. We also show that this result is in some sense optimal.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2005